didactically
not defined yet