parameterizing defined terms