proofs for Noelle - paullyc