Chapter 'prop-based testing'