Nun weiter: Wir können sagen: A stimmt mit keiner der Entw. des Systems S überein.
     Z.B. || Da gibt es diesen Fall: A ist 101010101 …
S ist: 101001000100001 …      110110011000110000 …      111011100111 …
      ‒ ‒ ‒
oder aber diesen: