Retief: added lecturer interface