Explain & add to property  tests