Use the @property decorator when possible