Property test passed