Fixing reverse semantics