A substitutional quantifier ranges over expressions or names, not objects. It's crucial…
Sign in to your account
Remember me
