Rohin Shah comments on Selection Theorems: A Program For Understanding Agents