function Header(element)
   if element.level == 1 and element.attr.identifier == "motivation" then
      io.input("example-output.html")
      return {pandoc.RawBlock(
                 "html",
                 "<pre id=\"example-output\">"..io.read("*all").."</pre>"),
              element}
   else
      return element
   end
end