  What FM3 says is that there are a bunch of things \(w, r, v_1\) etc. that together play the complex roles FM3 specifies in the complex structure FM3 describes. This isn’t yet quite what’s wanted. What we want is a sentence that says there’s exactly one bunch of such things. Logicians have a standard trick for doing this. This calls for a decidedly complicated sentence that goes like this: