Just curious, what do people use these expensive reasoning models for?