    opts
    (expected-str type spec-name form path problems opts)))
 
-(defmethod value-str :expound.problem/insufficient-input [_type spec-name form path problems opts]
+(defmethod value-str :expound.problem/insufficient-input [_type spec-name form path problems _opts]
   (show-spec-name spec-name (value+conformed-value problems spec-name form path {:show-conformed? false})))
 
-(defmethod value-str :expound.problem/extra-input [_type spec-name form path problems opts]
+(defmethod value-str :expound.problem/extra-input [_type spec-name form path problems _opts]
   (show-spec-name spec-name (value+conformed-value problems spec-name form path {:show-conformed? false})))
 
-(defmethod value-str :expound.problem/fspec-fn-failure [_type spec-name form path problems opts]
+(defmethod value-str :expound.problem/fspec-fn-failure [_type spec-name form path problems _opts]
   (show-spec-name spec-name (value+conformed-value problems spec-name form path {:show-conformed? false})))
 
-(defmethod value-str :expound.problem/fspec-exception-failure [_type spec-name form path problems opts]
+(defmethod value-str :expound.problem/fspec-exception-failure [_type spec-name form path problems _opts]
   (show-spec-name spec-name (value+conformed-value problems spec-name form path {:show-conformed? false})))
 
-(defmethod value-str :expound.problem/fspec-ret-failure [_type spec-name form path problems opts]
+(defmethod value-str :expound.problem/fspec-ret-failure [_type spec-name form path problems _opts]
   (show-spec-name spec-name (value+conformed-value problems spec-name form path {:show-conformed? false})))
 
-(defmethod expected-str :expound.problem/fspec-fn-failure [_type spec-name form path problems opts]
+(defmethod expected-str :expound.problem/fspec-fn-failure [_type _spec-name _form _path problems _opts]
   (s/assert ::singleton problems)
   (let [problem (first problems)]
     (printer/format

                 (let [in (-> prob :expound/in)]
                   (expected-str (-> prob :expound.spec.problem/type) :expound/no-spec-name non-matching-value in [prob] opts))))))

(defmethod expected-str :expound.problem/insufficient-input [_type spec-name form path problems opts]
  (let [problem (first problems)]
    (printer/format
     "should have additional elements. The next element%s %s"

     "\n\nor\n\n"
     (map #(expected-str* spec-name % opts) grouped-subproblems))))

(defmethod value-str :expound.problem-group/one-value [_type spec-name _form _path problems opts]
  (s/assert ::singleton problems)
  (let [problem (first problems)
        subproblems (:problems problem)]
