Music is my way of communicating with the world.

We are all prisoners of our own experiences.

Monsters are real, and ghosts are real too. They live inside us, and sometimes, they win.

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

成功不是终点，失败也非致命，重要的是继续前进的勇气。