AASL 1.6 Simple deductive proofs