Contenability and the Logic of Consequential Implication