每个圣人都有过去,每个罪人都有未来。
对逻辑形式的研究不仅关乎语言,也关乎世界。