RARAE2015JonnyMike Proofs