An invaluable pocket thesaurus.