Extracted common utilities into a header.tex file.