Toby_Ord comments on Principles for the AGI Race