WORDS NEAR implicational-propositional-calculus IN THE DICTIONARY