Comment by bhntr3

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