All tagged Rules of Implication II