 The corresponding non-modal sentence is here assumed to be valid. Similar consequences can be formed for possibility and contingency sentences. These exhaust the theory of syllogism for composite modal sentences and Campsall accordingly spends little time elaborating it.