let is_false = function False -> true | _ -> false