Mistake: Missing required invariants

Cited by 3