Implemented property tests