`@property`?