Some skeleton for property tests.