Friendship is a single soul dwelling in two bodies.

A business has to be involving, it has to be fun, and it has to exercise your creative instincts.

Architecture is not about solving problems, but about creating possibilities.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。