Words near implicational-propositional-calculus in the dictionary