Wiler 1972 Proof Set