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