Theory of BAR games