refinements in lhs