          [:foo 42 43 :baz]))
 
 (defcard
-  "`s/&` version 2: check the two integers
+  "`s/&` version 2: check the two integers with
+an additional predicate
+
+The *conformed value* produced by `(s/cat :cat1 integer? :cat2 integer?)`
+is the input of predicate `#(> (:cat1 %) (:cat2 %))`.
 ```
 (parse (s/cat :cat1 keyword?
               :cat2 (s/& (s/cat :cat1 integer?

```"
  (parse ::int :foo))

(s/def ::ints (s/or :or1 integer? :or2 (s/* ::ints)))

(defcard
  "
```
(s/def ::ints (s/or :or1 integer? :or2 (s/* ::ints)))
(parse ::ints [42 [43 44] 45])
```"
  (parse ::ints [42 [43 44] 45]))


## Including clojure.spec in your project

Add a dependency for `[org.clojure/clojure \"1.9.0-alpha5\"]` to your project.

You can, optionally, also add a dependency for `[org.clojure/test.check \"0.9.0\"]`
if you want to use clojure.spec to generate test-data.
AFAIK test.check only works for Clojure, not Clojurescript.

Within your namespace you require clojure.spec with

