Chapter 4 Synthesis Failure