eagan - mini proofs

December 9th, 2019