barbour - proofs

March 27th, 2020