In Phase I we determine in SQL the course numbers for which no full pro-
fessor exists who has not taught these courses.
In Phase II we concentrate on preventing the existence of full professors who
are not teaching these courses. Note that Phase II still contains an untranslated
part.
Finally, in Phase III, we translate the part “who have not taught these
courses” using not exists for the second time.