let
even x = (x
mod
2) = 0