1.b> 25-i> ;
2.b> (y) .i> y, ( i>); let x be the equal of y , x y-i>; 3.i>b> , . , :i> let's suppose X knows what Y is doing , X-i> , Y;
4.b> . .i> (Y) Y-i> , Y-,i> Y-i> .
Developed by George Keretchashvili