 This quantifying-in rule is used by Montague for other phenomena as well. An example is co-referentiality: Mary loves the man whom she kissed is obtained from He\(_1\) loves the man whom he\(_1\) kissed. And the de re reading of John seeks a unicorn is obtained from a unicorn and John seeks him\(_1\).