From an outsiders perspective, this kind of discussion seems... immature?
(As in: Kids discussing something "important" to them while the parents chuckle)
I like the do notation better because it expresses the intent at the point of usage and I don't have to look up the definition when coming back after a few weeks.