End Behavior Proper Notation Definition