Proofmaking Model Breach of Contract Example