!!
arithmetic
(mod 17 5)

mod evaluates to the remainder of a division.

glossary

%: calls a gate with several arguments, gathering them into one sample.

%:(add 2 3) is 5.

irregular forms:

(gate a b c) is %:(gate a b c)

mod is the remainder of a division.

(mod 17 5) is 2.