- Refining properties to test.