Tor Økland Barstad comments on Getting from an unaligned AGI to an aligned AGI?