hmonk
COMEFROM
/bin/umodem plop plop
Ifadd Add x y => x;
Ifadd Mult x y => y;
c Z y => Ifadd c y Z;
c (S x) y => Ifadd c (S (Add x y)) (Add y (Mult x y));
c (c x y) z => c x (c y z);
c (d (S x) y) z => Ifadd c (Add (Add y (Mult x y)) z) (Mult (S (Add x y)) z);
Compute x => x;
. { end of rules }
plop
advise arith plop