Evan R. Murphy comments on Christiano (ARC) and GA (Conjecture) Discuss Alignment Cruxes