liam - proofs

December 2nd, 2017