Demonstrating property-based testing in Ruby