  which is intuitively false, as John surely could have had a  non-mammalian pet. In a modal logic that accurately represents the  logic of the necessity operator, therefore, the substitutivity  principle for sentences will have to fail. 