David Johnston comments on Christiano (ARC) and GA (Conjecture) Discuss Alignment Cruxes