Added definitions of concepts to comments.