AR1: Synthesis