gwern comments on What Direct Instruction is