theoretical code representation widget finished'