Socratic Ducking, OODA Loops, Frame-by-Frame Debugging — LessWrong