 generatorBoundedSizeArrays.generate
 generatorBoundedSizeArrays.generate
 
-//: Because SwiftCheck is based on the functional concepts in our other library [Swiftz](https://github.com/typelift/Swiftz),
-//: each of these functions has an operator alias:
+//: Because SwiftCheck is based on the functional concepts in our other library 
+//: [Swiftz](https://github.com/typelift/Swiftz), each of these functions has an operator alias:
 //:
 //: * `<^>` is an alias for `fmap`
 //: * `<*>` is an alias for `ap`

oddLengthArrays.generate.count
oddLengthArrays.generate.count

//: Generators also admit functional methods like `map` and `flatMap`, but with different names than you might
//: be used to.

// `fmap` (function map) works exactly like Array's `map` method; it applies the function to any 
// values it generates.


//: # Quantifiers

//: What we've seen so far are the building blocks we need to introduce the final part of the 
//; library: The actual testing interface.  The last concept we'll introduce is *Quantifiers*.
//:
//: A Quantifier is a contract that serves as a guarantee that a property holds when the given
//: testing block returns `true` or truthy values, and fails when the testing block returns `false`
//: or falsy values.  The testing block is usually used with Swift's abbreviated block syntax and
//: requires type annotations for all value positions being requested.  There is only one quantifier
//: in SwiftCheck, `forAll`.  As its name implies, `forAll` will produce random data and your spec 
//: must pass "for all" of the values.  Here's what it looks like:
//
//     func forAll<A : Arbitrary>(_ : (A... -> Bool)) -> Property
//
