procedure isEven(n) return n%2 = 0 end