Assertions here are "fine" and it matches what the code that has the checks in init/update/final already does.