Thank you. I just finished my master's thesis in program synthesis/induction. You're explaining this better than I could.