Es liegt || läge nahe zu sagen: Wenn A & B an allen äußeren Stellen übereinstimmen, dann stimmt A mit B überein, die Nicht-Übereinstimmung ist vernachlässigbar.