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