o'neill - proofs

March 29th, 2020