SLC 6-8-11 proofs - bryant-livingston