Corrected Semantics