Talk:Principle of Commutation/Forward Implication/Formulation 1/Proof

For the record, that link to Metamath appears never to have existed on the Principle of Commutation page, and by extension none of those which were created from it. So where was that link, originally? --prime mover (talk) 22:36, 6 February 2013 (UTC)