Assertion is a checkpoint, but need more checks