" શબ્દસમૂહનો ઉપયોગ કરીને બાયગોન્ડિટેશનનું નિવેદન સરળ બનાવવું જોઈએ "કહીએ તો" જો P પછી ક્યૂ, અને જો Q પછી P "અમે તેના બદલે" P જો અને ફક્ત જો પ્ર.