Fix meet check when ForAll is on right