Which is the correct substitution for evaluating when ?