Synthesis Decomposition Single Replacement Double Replacement