@fighton: No need to synthesize