 \(B\), here, may be any—every—sentence that you like (or don’t like, as the case may be)! EFQ is the principle that every sentence follows from a contradiction; it sanctions the step from a single contradiction to outright triviality of logic.