brought back new variable name in refers-to propositions