  This is a characteristic of substructural logics. When we pay attention to what happens when we don’t have the full complement of structural rules, then new possibilities open up. We uncover two conditionals underneath what was previously one (in intuitionistic or classical logic). 