{a= {b= a}} True = 
{a= {b= b}} False = 

{p= {q= p q p!!}} And=


{ "is false!" println! } { "is true!" println! } True True And!!!!!