Formalization of QFT? | Heykuki News