W-F = Wahr-Falsch
     To every molecular function a WF scheme corresponds. Therefore we may use the WF scheme itself instead of the function. Now what the WF scheme does is, it correlates the letters W and F with each proposition. These two letters are the poles of atomic propositions. Then corresponds || the scheme correlates another W and F to these poles. In this notation all that matters is the correlation of the outside poles to the pole of its || the atomic propositions. Therefore not-not-p is the same symbol as p. Therefore || And therefore we shall never get two symbols for the same molecular functions.