Si fuera el caso formula_99"x" (P"x" → L"x") → L"y"