I was thinking it's a lot like property-based testing