Rohin Shah comments on The theory-practice gap