Abairt 1: Is féidir an heicseagún loighciúil a léirmhíniú ar bhealaí éagsúla, lena n-áirítear mar mhúnla loighce traidisiúnta, cainníochtú, loighce modal, teoiric ordú, nó loighce paraconsistent. Abairt 2: Is féidir an seisearcóig parachomhtháthaithe a léiriú ar bhealaí éagsúla, lena n-áirítear mar mhúnla loighic thraidisiúnta, cainníochtú, loighic modal, teoiric ordú, nó loighic loighciúil. Ceist: An léiríonn abairt 1 agus abairt 2 an bhrí chéanna? An bhfuil nó nach bhfuil?
Níl