Let P(x, y) denote the fact that x is the parent of y. Use the equality operator to write a first-order expression asserting that everyone has exactly two parents.