Conditions In A Contract Definition