2.2 Semantics of Behaviors WIP