1. The problem statement, all variables and given/known data Let L(x, y) be the statement “x loves y,” where the do main for both x and y consists of all people in the world. Use quantifiers to express each of these statements. g) There is exactly one person whom everybody loves. 2. Relevant equations 3. The attempt at a solution I couldn't determine the answer myself, so I looked to the answer key for aid. According to the answer key, [itex]\exists x[(\forall y L(y,x) \wedge \forall z ( \forall w L(w,z)) \implies z = x))][/itex] is the proper translation. However, I the introduction of the variable w is extraneous, that the answer to be simplified roughly to [itex]\exists x \forall y [(L(y,x) \wedge \forall z L(y,z)) \implies z = x)][/itex] Would you care to share your opinion?