Ak z p v q usudime na q, tak je tu tymto sposobom oznacovania zastrety vztah vetnych foriem "pvq" a "~p". Ak vsak napr. namiesto "pvq" napiseme "p|q.p|q" a namiesto "~p" "p|p" (p|q = ani nie p, ani nie q), tak sa tato vnutorna suvislost stane zjavnou.
(To, ze z (x).fx mozno usudit na fa, ukazuje ze vseobecnost je pritomna aj v symbole "(x).fx".)