Musings on Double Crux (and "Productive Disagreement") — LessWrong