Invars

Definition of Invars