use new semantics of hedlectures