Index typo? someone(j) and everyone(j) both use the same index j. Should it be someone(i) in the upper left to match use of trace (i) in the lower right as the object of loves?
Relevant to image use with caption "Everyone loves the same someone" here: https://en.wikipedia.org/wiki/Logical_Form_(linguistics)
