[narag]

Sorry, but I still think that checking what a very old person is drinking is stupid, no matter how much notation you add to it.

[mbrubeck]

Yes, that's the point. The bouncer doesn't need to check the old man, and the card player doesn't need to check the third card.

This is obvious when given the bar context, but less obvious when the same set of rules is taken out of any human context.