Don't check if some entity actually exists https://code4rena.com/reports/2022-08-rigor/#01 https://code4rena.com/reports/2022-08-rigor/#07 https://code4rena.com/reports/2022-08-rigor/#09\