Ben Pace comments on Announcing MIRI’s new CEO and leadership team