should these be considered as read-only properties or are they mutable ?
If they should be considered read-only and are public only for performance reason instead of using a getter, we should document it