Numbered links with linked subtitles Security Reasoning via Substructural Dependency Tracking Seminar DBPL@UB