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

先用自然语言描述，再采用形式化模型描述。

> 最好的办法是

1. 写自然语言

2. 写形式化描述

3. 根据形式化模型中发现的问题去修改自然语言，以减少歧义

---