- Successful computation of factorial of 3 by a function f(a,b)=(succ(a),succ(a) b). It is done with lisfact_2.mol and the script moving_random_metabo.sh from the gh-pages branch of the repo.

- It is successful in about 20% of the runs. (Recall that the reduction algorithm is random.)

- The molecule is a modification of the one obtained from the lambda term proposed in the lambda calculus tutorial by Mayer Goldberg from the little-lisper.org, par. 57, page 14. See the reduction of the molecule corresponding exactly to that lambda term in this demo.

- Part of the explanations about the factorial function.