SLC_4-6-11_proofs - bryant-livingston