Note that this is a single judgment that should not be confused with the derivation of the judgment \({\vdash}B\) from the judgments \({\vdash}A_1, \ldots, {\vdash}A_n\). When \(n=0\), then the categorical judgment \( {\vdash}B\) states that \(B\) is true without any assumptions. With sequent notation the familiar rule for conjunctive introduction becomes