FinalFormal2 comments on What’s the problem with having an AI align itself?