WORDS NEAR presburger-arithmetic IN THE DICTIONARY