I like everything about it except the name. At least SOME indication that it’s about property based testing would be nice.