  The Stoics defined negations as assertibles that consist of a negative particle and an assertible controlled by this particle (S. E. M8.103). Similarly, non-simple assertibles were defined as assertibles that either consist of more than one assertible or of one assertible taken more than once (D. L. 7.68–9) and that are controlled by a connective particle. Both definitions can be understood as being recursive and allow for assertibles of indeterminate complexity. Three types of non-simple assertibles feature in Stoic syllogistic. Conjunctions are non-simple assertibles put together by the conjunctive connective ‘both … and …’. They have two  conjuncts.[3]  Disjunctions are non-simple assertibles put together by the disjunctive connective ‘either … or … or …’. They have two or more disjuncts, all on a par. Conditionals are non-simple assertibles formed with the connective ‘if …, …’; they consist of antecedent and consequent (D. L. 7.71–2). What type of assertible an assertible is, is determined by the connective or logical particle that controls it, i.e. that has the largest scope. ‘Both not p and q’ is a conjunction, ‘Not both p and q’ a negation. Stoic language regimentation asks that sentences expressing assertibles always start with the logical particle or expression characteristic for the assertible. Thus, the Stoics invented an implicit bracketing device similar to that used in Łukasiewicz’ Polish notation.