"Writing is a journey into the unknown, where every word is a step into the abyss of the self."

The challenge in model checking is not just to find errors, but to understand why they occur.

All architecture is shelter, all great architecture is the design of space that contains, cuddles, exalts, or stimulates the persons in that space.

"We are not seven, we are one."