4.0 
Macs
Sent
1
?x (?y (y = x & ?x (LeftOf(y, x) &  
           ?y (y = x & ?x (LeftOf(y, x) &  
                ?y (y = x & ?x (LeftOf(y, x) &  
                     ?y (y = x & ?x (LeftOf(y, x) &   
                          ?y (y = x & ?x (LeftOf(y, x) &  
                                ?y (y = x & ?x (LeftOf(y, x) 
       )))))))))))))