Problem 8.17 Complete Synthesis Transformations