Thanks Chris! It would be perfectly reasonable to be more explicit and use a subscript name for the theory after the ⊢. In fact, when more than one theory i

Thanks Chris! It would be perfectly reasonable to be more explicit and use a subscript name for the theory after the ⊢. In fact, when more than one theory is being used, it is necessary to the use the subscript to avoid ambiguity. Unfortunately, many modal logics do not allow the subscript.