Removing Automatic Synthesization.