sgo.to

Typographic MP

Here is a proof of MP2 using only typographic transformations: