All tagged Rules of Implication