gjm comments on Musings on Double Crux (and “Productive Disagreement”)