Fully automated synthesis

Summary