Importing a few more glossary definitions