electric turbofans — LessWrong