SLC 3-2-11 proofs - bryant-livingston