A few auxiliary dictionaries