"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
"The beauty of filmmaking is that it allows you to create worlds that don't exist."
"Art is the only thing that can save us from the emptiness of existence."