The first assertion "B or not B" is not covered by the rules given in
this post, but is an instance of LEM (law of excluded middle), which is usually better to have. Any instance of LEM can be proven from the other rules, so Fitch-style systems often leave it out.