I like art that leaves room for the audience.

Write, write or die.

"History is not just about the past; it is about how we understand the present and shape the future."

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."