verified all properties are implemented