我不是一种潮流，我是一个标志。
I'm not a trend, I'm an icon.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
可持续性不是成本，而是对我们共同未来的投资。
Never stop learning because the world never stops changing.
NHS（英国国家医疗服务体系）是这个国家跳动的心脏。它受到英国人民的喜爱，因为它在最黑暗的时刻为我们服务时表现最佳。