Christina Turner, Tim Chadwick - Equality vs Equivalence and the Journey to Proof