A property-based testing library, in the spirit of Proper in Erlang, with tight integration with RSpec.