outline progress and preservation for direct GV semantics