Added property tests.