Contract Definition Examples