Examples and Explanations for Contracts by Brian A. Blum