Cincinnati. Board of education. [from old catalog]