sentence2: En nú er vandi á ferð: ‚s ef og aðeins ef p‘ er ekki málfræðilega rétt setning af því að tengingin verður að tengja tvær yrðingar en s er nafn yrðingar (setningar) en ekki yrðingin sjálf.
sentence1: هذا هو الخيار الواضح لأننا بهدف التعادل من معنى وبين ق ص ولكن الآن لدينا مشكلة : 'ق إذا وفقط إذا ع' هو حكم غير نحوية لأن الضام يجب ربط اثنين من المقترحات، ولكن ق هو اسم على الاقتراح، وليس تحرشا نفسها.