Sample Contracts with Richard Kiphart