Idempotence for functors defined by partial definientia.
Idempotence for functors defined equationally.
Ignore regular statements and choice statements appearing at the toplevel of a definition block.
Degenerate consistency case was missing.
Whitespace.
Pay attention to (some) variables.