Richard_Ngo comments on Questions about ″formalizing instrumental goals”