I've tried to explain how I tend to come up with properties in my own proptests in http://propertesting.com/book_what_is_a_property.html http://propertesting.co

I've tried to explain how I tend to come up with properties in my own proptests in http://propertesting.com/book_what_is_a_property.html http://propertesting.com/book_what_is_a_property.html -- this could prove useful as well.