Explicitly synthesize the properties