 Adams (1981: 25) lays the blame for such problems on the classical quantification schema Q2. Following Fine (1978: §3), he adopts the solution mentioned above in our discussion of KQML, namely, replacing Q2 with its free logical counterpart (which we rewrite here with \(\sfE!\)):