Added a few macros.
Added an "Open Problems" section to the conclusion". It's intended
as a dump for ideas.