如果你自由，你就不可预测。
It is the user who should parameterize procedures, not their creators.
In mathematics, the journey of discovery is as important as the destination.
我们看起来似乎痛苦的试炼，往往是伪装起来的好运。
