lambda logik:
------------
THIS IS THIS
THAT IS THAT
THIS IS WHY
THAT IS WHY

interpreter:
------------
IS IS IS



=====
simple trick
1 = 1
1 & 1 = 1
therefore
1 = 1 & 1
furthermore
1 & 1 = 1 & 1
AS THE STUDIES SUGEST
1 & 1 & 1 = 1
which leads to
1 = 1 & 1 & 1
proof by induction please

=====