logic:euqal