∀ P → Rel P