Frege and Russell established that 'exists' functions as a second-order predicate uniformly across a...