hi:formal_paper_theory