typsetting, additions to top-level, top-level diagram