All tagged Rules of Implication I