Words near proofs-by-contradiction in the dictionary