A Framework for Internal Debugging — LessWrong