No need to synthesize the properties of Objective-C