     form))
 
 (defmethod validate "formula" [[_formula_ & args :as form]]
-  (let [[_docstring? opt-map bindings _body] (deconstruct-formula-args args)
+  (let [[docstring? opt-map bindings body] (deconstruct-formula-args args)
         invalid-keys (remove (partial = :num-trials) (keys opt-map))]
     (cond (not (leaves-contain-arrow? (check-part-of args)))
           (simple-report-validation-error form "There is no expection in your formula form:")

  (let [[docstring? more-args] (pop-docstring args)
        [opts bindings body] (if (map? (first more-args))
                               [(first more-args) (second more-args) (rest (rest more-args))]
                               [{} (first more-args) (rest more-args)])]
    [docstring? opts bindings body]))

(defmacro formula 

          (simple-report-validation-error form (str ":num-trials must be an integer 1 or greater. You tried to set it to: " (:num-trials opt-map)))
      
          :else 
          [docstring? opt-map bindings body])))