Engelbart: Insufficiently Recursive — LessWrong