deletions | additions       diff --git a/layout.md b/layout.md  index 1e629d2..edb569a 100644  --- a/layout.md  +++ b/layout.md 
...
Making_a_Spanner_Proof_by__.md  Furthermore_we_claim_that_i__.tex  figures/desk/desk.png  begin_align_p_i_k__.tex Given_2_we_can_apply__.tex  and_our_proof_is_complete__.tex  Size_of_Graph_We_add__.md