"The past is always tense, the future perfect."
"Theoretical computer science is a field where deep mathematical insights lead to practical computational tools."