deletions | additions       diff --git a/layout.md b/layout.md  index 1be2000..46b510a 100644  --- a/layout.md  +++ b/layout.md 
...
Contributions_This_paper_make_the__.md  Related_work__.md  Technology_under_investigation__.md  Relevance_to_practice__.md  Analysis_Pledges_will_work_best__.md  Overview_A_control_flow_hijacking__.md  Notation_Suppose_the_analysis_is__.md