Eliezer Yudkowsky comments on Engelbart: Insufficiently Recursive