CARMA 2014 proofs - bryant-livingston