leogao comments on Are there lessons from high-reliability engineering for AGI safety?