· Pre-Conditions and Post-Conditions

 

· Update On Self Constraints

 

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

 

· Update On Self Sorting