salvage some more theorems on the new semantics