(p∀q`)