deletions | additions       diff --git a/layout.md b/layout.md  index 70e3910..adfe5b3 100644  --- a/layout.md  +++ b/layout.md 
...
untitled.tex  section_Fixpoint_Logics_for_Boolean__.tex  appendix_section_Irrational_individuals_Theoretically__.tex