Beginning of program synthesis idea