pappa(∀)