Convert the following English sentences to first-order logic.
There are at least two points on the world such that if from that point x, you travel one meter north, then one meter east, and then one meter south, you are back at point x. (Unrelated bonus question (0 points): what is the set of all of these points?)