Example e-Proof - Matthew Inglis (2016)
An example e-Proof.