SL = BE trên $BIRB