Beyond the Behavior Contract