Synthesis for Proffie