A novel is a mirror walking along a main road.
每个出口都是另一个地方的入口。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
The times they are a-changin'.