In logic there is a single basic pattern, found in every true paradox. The kernel of each true paradox consists of a selfreferential move, which arises from a logical statement and re-enters it from outside. This logical selfreference is found behind the severe mathematical problems adressed by K. F. Gödel. A try to solve the problem on the basis of a new formalism was done by George Spencer-Brown. His formalism helps to describe contradictions in formal logic. "Draw a Distinction" Spencer-Brown introduces the elementary building block of his formal logic with the words ‘Draw a Distinction’. Figure 1 shows