intro to property-based testing
minor changes