²For the purposes of this discussion, we view unconditional rules as a special case of conditional rules. The general admissibility requirement specializes then to a very easy requirement for an unconditional rule $t\to t^{\prime }$, namely, that each variable of $t^{\prime }$ must appear in $t$.