Adding 'Exists(x)' as a first-order predicate generates a vicious regress: we must then ask whether ...