Tightened up binary expressions