denis_bider comments on Engelbart: Insufficiently Recursive