Synthesis Decomposition Single Replacement