add invariant example