corrected liftoff semantics