Do you need to declare these here? I thought the `@property ...` declaration would suffice.