This takes care of the case when LHS is a literal expression like  7 < (a,b).