If I'm not wrong, assertions are done