deletions | additions       diff --git a/layout.md b/layout.md  index f6e33df..e94c95e 100644  --- a/layout.md  +++ b/layout.md 
...
Introduction__.md  Methods__.md  System_call_constraint_propagation__.md  Source_to_source_transformation__1.md