Roman Catholic Archdiocese of Tunis to close down all the Catholic churches in the country, forced the Holy See to accept an agreement of the type known as a modus vivendi, a term that literally means "a way of living". This particular agreement was unofficially described as instead a "modus non moriendi" ("a way of not dying"). By it, all but 5 of the country's more than 70 churches were handed over to the state, including what had been the cathedral of the archdiocese, while the state, for its part, promised that the buildings would be put only to use of public interest consonant with
Modus tollens is a metalogical symbol meaning that formula_10 is a syntactic consequence of formula_6 and formula_9 in some logical system; or as the statement of a functional tautology or theorem of propositional logic: where formula_1 and formula_2 are propositions expressed in some formal system; or including assumptions: though since the rule does not change the set of assumptions, this is not strictly necessary. More complex rewritings involving "modus tollens" are often seen, for instance in set theory: Also in first-order predicate logic: Strictly speaking these are not instances of "modus tollens", but they may be derived from "modus tollens" using a