  This idea can easily be generalized to definitional reflection, yielding a reasoning system in which assertion and denial are intertwined. It has parallels to the deductive relations between the forms of judgement studied in the traditional square of opposition (Schroeder-Heister, 2012a; Zeilberger, 2008). It should be emphasized that the denial operator is here an external sign indicating a form of judgement and not as a logical operator. This means in particular that it cannot be iterated.