John Hughes is also one of the investors of property based testing