Stav dette: Terminology, LSP, and translation