Changes

A procedure é chamada '''dual''' (naturalmente) e recebe como argumentos a expressão booleana formada usando as versões inertes dos operadores booleanos.

<pre>dual(false);

A beleza da dualidade é que, uma vez que você provar uma identidade booleana, você pode usar o '''dual''' a vontade!

e formular nossas expressões usando operadores inertes.

<pre>with(logic): # don't forget to define 'bequal'.

Agora, nos usamos esta afirmação à vontade.

<pre>dual(left);