Extensions (a Glossary)