原则55 在更形式化的模型前，先写自然语言