"If either R or S is a template that expands" . . . . .