In general, we try to alphabetically order all properties