ray - proofs

January 9th, 2019