Wiler 1971 Proof Set