This argument may need to be extended a bit. It may be possible for
the professor to find this necessarily existing machine and yet find it
inoperable, unconfigured, or incorrectly configured and bereft of any
helpful documentation, causing it to be roughly as useful as a large
mass of non-conductive matter. So, if one has official assurance that
the machine does work, then it must work, etc. Mr. Wilson and I had
our imaginations exercised in this way one day at the SCL.
Regards,
Mike Hosea (815) 753-6740 Department of Mathematical Sciences
http://www.math.niu.edu/~mhosea/ Northern Illinois University
mhosea@math.niu.edu DeKalb, IL 60115, U.S.A.