zh:discussion:formal_paper_theory