7.1 PLURAL 7.2 Data types (plural) 7.3 Functions (plural) 7.4 Mathematical background (plural) 7.5 Graded commutative algebras (SCA) 7.6 LETTERPLACE 7.7 Non-commutative libraries