Prevented unless they assert the wrong invariant at runtime like they did last time.