180830_McManamon_Proofs