assert, if