interface Prereq {
    public boolean satisfiedBy(InfList<Course> courses);
}