"[For all x and y, if x empathizes with y, then for all z, if z is a feeling and y knows z, then x knows z. (If x empathizes with y, then all feelings that y knows, x also knows.)]???" . . . . .