let is_false = function FF, _ -> true | _ -> false