Try implementing synthesis