jacquesthibs comments on Shah (DeepMind) and Leahy (Conjecture) Discuss Alignment Cruxes