Applies to all of these properties, but...no need for `public`? These are in an interface?