# Section 2.1: Problem 4 Solution

Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
In 3–8, translate each English sentence into the first-order language specified. (You may want to carry out the translation in several steps, as in some of the examples.) Make full use of the notational conventions and abbreviations to make the end result as readable as possible.
If horses are animals, then heads of horses are heads of animals. (, for all things; , is a horse; , is an animal; , the head of .)
.