Definitions for "Required course"