La nuit est un conseiller plus fidèle que le jour.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
"I always wanted to be the best, but I also wanted to be myself."