 (The restrictions for conjunction and disjunction indicated in the table are due to accidental limitations in expressive power, as we pointed out for the case of Taylor, and point out for the other cases in the supplementary document  Some Formal Theories in the Literature.)