Glossary

Terms, defined for use

Each entry gives the definition, why it matters in practice, the mistake people make with it, and a concrete example.