MATLADPI: ABOUT TREE GENERATION AND ENUMERATION

Have you seen the movie Good Will Hunting? There was this problem in math that was quite easy, according to many, but seemed to lack a structured, formal proof. Even worse was the fact that there are infinitely many problems of the exact same kind and again, without any systematic way to prove them! That is where my TGET comes in...