Implemented property specifications.