college is a type of educational institution.