唯一的正义就是遵循灵魂真诚的直觉，无论是愤怒还是温柔。
The only justice is to follow the sincere intuition of the soul, angry or gentle.
生命短暂，必须充分利用。
每个故事都是一次旅程，每次旅程都会改变我们。
生命太短暂，不能浪费时间去恨任何人。
人的本性是天生的质朴；善良是王道教化的结果。
The challenge in model checking is not just to find errors, but to understand why they occur.