Declarations of properties