·
Pre-Conditions and Post-Conditions
·
Update On Self Constraints
·
Deactivation Between Incoming Data and Pre- and Post-Conditions
·
Update On Self Sorting