`ASSERT`?