¿Cómo actúa P sobre el estado formula_9?