Fact Finding: Simplifying the Circuit (Post 2) — LessWrong