lambda-calculus public under formal-system 10, model-of-computation 6 List Picture As a command %3 n0 lambda-calculus n1 formal-system n1->n0 n2 model-of-computation n2->n0