MORE THREAD. “(i) If there exists AI+, then there exists an AI1; (ii) For all n > 0, if an AIn exists, then absent defeaters, there will be an AIn+1; (iii) If for all n there exists an AIn, there will be AI++; (iv) If there is AI+, then absent defeaters, there will be AI++.”
https://lnkd.in/e335knp