原文:安全形式主义(5)