Wiler 1993 Proof set - 209087