 But the resulting logic will become nonmonotonic because there are default rules and default operators in the language. The literature on the topic is vast and is best considered as a separate topic from our current concern (see e.g., Thomason (1997) for an overview).