有时候你必须穿过黑暗才能到达光明。

建筑是一种感性的媒介，而不仅仅是视觉的。

对的就说是对的，错的就说是错的，就是所谓的正直。

出自汉·桓宽《盐铁论·力耕》。非，不是。宝，这句话指好的办法。道，途径、方法。治家并不是只有一种有效的方法，治国并不是只有一条可行的途径。这句话言治家与治国一样，都有许多不同的方法，当事人应当努力寻求，不必因循守旧而无所作为。

模型检查是验证硬件和软件系统正确性的强大工具。