·	Pre-Conditions and Post-Conditions

·	Update On Self Constraints

·	Deactivation Between Constraints

·	Deactivation Between Incoming Data and Pre- and Post-Conditions