Rohin Shah comments on The Many Faces of Infra-Beliefs