Musings on Double Crux (and "Productive Disagreement") — AI Alignment Forum