Interested fom-ers might wish to investigate the consistency strength of the system implicit in the following: Evel Knievel To Attempt Huge Leap In Logic http://www.theonion.com/content/node/29617 Thanks to Stu Shapiro for the link, and the therapy it provided. Neil Tennant