let is_true = function True -> true | _ -> false