(
pari
=
true
) ⇔
Pari
(
a
+
b
)