The basic propositions <math>a_i : \mathbb{B}^n \to \mathbb{B}\!</math> are both linear and positive. So these two kinds of propositions, the linear and the positive, may be viewed as two different ways of generalizing the class of basic propositions. | The basic propositions <math>a_i : \mathbb{B}^n \to \mathbb{B}\!</math> are both linear and positive. So these two kinds of propositions, the linear and the positive, may be viewed as two different ways of generalizing the class of basic propositions. |