Synthetic Function Definition