These should be `@dynamic` since they are stored in core data