Formal Proof (Extra Practice 1)
Channel: Carson Cook
Date: 19/06/2017

Another formal proof example.

ForallX Proof checker: http://the21stcenturymonads.net/forallx/