每当新的一天开始，恐惧都有机会茁壮成长，信念也一样有机会开花结果。你们将面临屈服于恐惧或建立信念的抉择。

Every book is the wreck of a perfect idea.

The world is always in movement.

我从不放弃。我会一直战斗到最后。

The story you are about to read is a work of fiction. The names, characters, places, and incidents are either the product of the author's imagination or are used fictitiously. Any resemblance to actual persons, living or dead, events, or locales is entirely coincidental.

晏子春秋

The challenge in model checking is not just to find errors, but to understand why they occur.