Yes. Revmom is correct. I had forgotten about a priori substitutions.