Saner semantics (?)