Terms and definitions (#124)