Title: Van Goor's miniature English dictionary