use new semantics of hedlectures, I've said