forall x [textbook]

Open Textbook on logic