Grammars: parse X == Y + Z and Deduction: fixed algoritm according to eql(_,_) but now 64 answers most of them similar