let is_true _ _ = true