"Yes. You can substitute any number for x and the formula 2 x will double it. But if another mathematical formula , such as this one right here, for calculating pi, can be encoded as a number , then you can have another formula act on it . Formulas acting on formulas!"