Terms and definitions (#118)