$def with (course)