Entonces formula_2 evaluaría al primo "p", entonces formula_3.