Infrahuman, par-human, superhuman, efficient, optimal — LessWrong