allow terms on LHS of refers-to propositions