Original sentence: Biacino and Gerla (1991) showed that every model of Clarke's theory is a Boolean algebra, in which connection cannot be distinguished from overlapping.For an advanced discussion of systems related to C, see Roeper (1997).Hence C is a proper extension of the atomless variant of SMT.It is doubtful that Whitehead intended either result.The extension consists of the axioms C5 and C6, suggested by chpt
Edited sentence: Biacino and Gerla (1991) showed that every model of Clarke's theory is a Boolean algebra, and models of such algebras cannot distinguished connections from overlapping.For an advanced and detailed discussion of systems related to C, see Roeper (1997).Hence C extends the atomless variant of SMT by means of the axioms C5 and C6, suggested by chpt.It is doubtful whether either fact is faithful to Whitehead's intent