Lay down a condition in contract