Necessary existence, as Kant argued, is not a genuine predicate that survives translation into first...