Title: The Karelitz SAT dictionary of one-word definitions