NB: The `@synthesize` calls below will define these local variables; they don't need to be declared.