You can also try class invariant.

Reply via email to