Definitions of the terms we use