Adding a tiling section.
Renaming to theorems.
Breaking apart the theorems.