DorothyJosephson@CMU-CS-A@sri-unix.UUCP (08/01/83)
ther a construction such as this should be considered a "proof."