Wiler 1984 Proof Set - 209068