A Quick Guide to Contracts