Quantifyingevent contracts.