direct GV semantics