I'm thinking out loud and pointing out the difference to avoid confusion, and also trying to invite discussion around the colloquial def, because I think the colloquial def is the most important/useful one.