You can't change what's already happened, so focus on the present moment.
文学是发现普通人身上非凡之处的艺术,用普通的话语说出非凡的事情。
The challenge in model checking is not just to find errors, but to understand why they occur.
成功不在于终点,而在于旅程和沿途学到的教训。
The future belongs to those who believe in the beauty of their dreams.