Behavior Flowchart and Contract