https://thebossmind.com/minimization-in-recursive-function-theory/