How do you write a behavioral contract?