even : Z -> Bool
even(2)