All tagged Material Implication Rule