     (printer/format
      "%s
 
-%s
-
 %s"
      (header-label "Syntax error")
      (case (:reason problem)
        "Insufficient input" (insufficient-input spec-name val path problem)
-       "Extra input" (extra-input spec-name val path))
-     (if (:print-specs? opts) (relevant-specs problems) ""))))
+       "Extra input" (extra-input spec-name val path)))))
 
 (defmethod problem-group-str :problem/fspec-exception-failure [_type spec-name val path problems opts]
   (s/assert ::singleton problems)


should satisfy

%s

%s"
     (header-label "Function spec failed")
     (printer/indent (*value-str-fn* spec-name val path (problems/value-in val path)))
     (printer/indent (pr-str (:val problem)))
     (printer/indent (pr-pred (:pred problem) (:spec problem)))
     (if (:print-specs? opts) (relevant-specs problems) ""))))

(defmethod problem-group-str :problem/unknown [_type spec-name val path problems opts]
  (assert (apply = (map :val problems)) (str "All values should be the same, but they are " problems))

%s
Detected %s %s\n"
             (string/join "\n\n" (for [[[in type] problems] problems]
                                   (problem-group-str1 type (spec-name explain-data) form in problems opts')))
             (section-label)
             (count problems)
             (if (= 1 (count problems)) "error" "errors")))))))))
