Een gevolg van stelling 4 is dat de volgende structuur a<<bc>d><><<b<d>>> waarde <> heeft ondanks het feit dat de waarde van niet alle symbolen gekend is, omdat geldt: a<<bc>d><><<b<d>>>↔<>.

Wanneer de waarde van een punt niet moet gekend zijn om een waarde aan een ander punt toe te kennen zullen we zeggen dat de waarde van het eerste punt irrelevant is voor de waarde van het tweede punt. Dus, met het voorbeeld: de waarde van a, b, c en d is irrelevant voor de waarde van de uitdrukking a<<bc>d><><<b<d>>>.

Dit zullen we gebruiken als de definitie van (ir)relevantie, van “een verschil dat (g)een verschil maakt”.