4.1 Functional programming 4.2 Logiweb machines 4.3 Lazy evaluation 4.4 Efficiency 4.5 Reasoning 4.6 Eager evaluation 4.7 Type checking 4.8 Overloading 4.9 Customization 4.10 Encryption 4.11 External interfaces