We usually order the properties alphabetically