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