The challenge in model checking is not just to find errors, but to understand why they occur.
La vida es demasiado corta para leer libros malos.
The only limits that exist are the ones in your mind.
The more you know yourself, the more patience you have for what you see in others.