let rec mem i = function
  | [] -> false
  | j :: jl -> i = j || mem i jl