Aleatory Contract Definition