s requires the synthesis