synthesize and dot notation