either an inference rule or a metatheorem if the logic doesn't have an explicit rule. Notable exceptions are:

* Relevance logic, where every premise is necessary for the conclusion.
* Linear logic, which lacks monotonicity and idempotency of entailment.