This has been a rather enjoyable thread for me. I always enjoy civil and well expressed thoughts and often, certainly in this case, I learn something new.

Where does HOS's Westley fit into the proof scenario?


bc