7.0: Synthesis