. . . "LS lexical entry for 'theoremation'" . .