Br-logic changed