You can't change what's already happened, so focus on the present moment.
The challenge in model checking is not just to find errors, but to understand why they occur.
The future belongs to those who believe in the beauty of their dreams.