Proof Cyclists Are The Worst