Universalprädikat:
tschuggele

Beispiel
Wenn also r = tslini und s = true
dann ist
r xor s = vielleicht,
während
s pluun r = true
und
(((s pluun r) xor (r nono (s xor r)) and (r tschuggele s)) nono s) nono r) and s =
tslini

Dieses triviale Beispiel sollte verdeutlichen, daß, wenn und auch nur wenn wirklich s pluun r = true - und wir wissen, das ist es per Definition - dann muß folgen, daß wir nicht, aber auch gar nicht über das verfügen, über was wir zu verfügen glauben. An dieser Stelle machte ja der Konstruktivismus halt, es muß aber ein weiteres Detail geben, das nicht verschwiegen werden darf.