Cleaned Semantics