isn't this implicit with the declared `@property§?