Rohin Shah comments on AGI safety from first principles: Introduction