WORDS NEAR design-by-contract-programming IN THE DICTIONARY