`assert not`