sufficient: if entity A can build B who solves task C, then A can solve C by building B necessary: if superintelligences are much smarter than humans and human

sufficient: if entity A can build B who solves task C, then A can solve C by building B necessary: if superintelligences are much smarter than humans and humans can build superintelligences, then superintelligences can build superintelligences If humans categorically can’t build superintelligences, then its not that consequential for our definition of superintelligence to be wrong