The artist must create his own mythology.

The future belongs to those who can balance short-term results with long-term vision.

The process of grouping, of organization, is not arbitrary but follows definite laws.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

真正的乐趣在于发现，而不是知道。