THE PROOF
 
                                MCT - 10
                            29 December 1993
 
                 Copyright (C) 1985 Homer Wilson Smith
       Redistribution rights granted for non commercial purposes.
 
                  Logic is the Ethics of Language.

                    1.)    L       <-->   LC or LNC
                    2.)    D and L  -->   LBLE
                    3.)    LBLE     -->   not LC
                 Q.E.D.    LC       -->   not D

     Learning implies Learning with Certainty or Learning with Not
Certainty.

     Distance and Learning implies Learning by Looking at Effects.

     Learning by Looking at Effects implies Not Learning with
Certainty.

     Therefore,

     Learning with Certainty implies Learning, but

     Not Across a Distance, and

     Not by Looking at Effects.

     Homer