The Out Loud Chorus - Proofs