Gaunilo and later Kant established that 'existence' and 'necessary existence' are not genuine predic...