I'm interested in the in-between, the interrelationship between things.
如果你不相信自己,别人也不会相信你。
The past is a shadow that follows us, a ghost that haunts us.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。