Prototype invariant