#behavior-contract