 It is equally possible to keep the elimination rule as initially stated—from \((A\) TONK \(B)\) infer \(B\)—but to change the introduction rule so as to guarantee that no new information is added by an  elimination[24]: