Formal的知识见解