3.1 Comparison to Lisp 3.2 Comparison to lambda calculus 3.3 Comparison to Java 3.4 Comparison to C 3.5 Comparison to WEB 3.6 Comparison to TeX 3.7 Comparison to map theory