Consequence by B$