The following predicate$-$logical expression is a tautology $($that is$,$ it is necessary true,

regardless of what the predicate P stands for$)$:

$$x$$yP$($x$,$ y$)$xP$($x$,$ x$)$

What does the expression say and why is it always true? $($Hint: you can interpret P$($x$,$ y$)$ as a statement where x is a subject, y is an object, and P is a predicate, such as $$x likes y$.$ How does the statement read in plain English when the quantifiers and the implication are included? Discuss how the structure of the statement makes it always true, regardlessof whether the predicate is $$like$$ or $$hate$.)$