Algo_Law comments on What does it mean for an AGI to be ‘safe’?