Setning 1: Stefna fyrir Eloise er " " samræmd ef alltaf Formúlu 114, Formúlu 130, ef Abelard felur Formúlu 116 Formúlu 130. Setning 2: Stefna fyrir Eloise felur í sér " jafnt " ef, hvenær sem formúla _ 114, formúla _ 130; fyrir Abelard, ef formúla _ 116 er formúla _ 130. Spurning: Eru setning 1 og setning 2 sömu merkingar? Já eða nei?
Já, það er.