Sample Contracts with Mark Schumacher