Initial Project now synthesizes