To avoid this, we might be tempted to adopt the alternative translation scheme, brought to my attention by David Kaplan, in which and are replaced by with heterogeneous rather than homogeneous quantifiers.