'Every' can be treated as a predicate satisfied by ordered pairs ⟨X, Y⟩ such that the extension of X...