Checking for multiple terms in equalities was not that easy, reverting