Obligatory UNIX fortune: "Computer Science can be thought of as the post-Turing decline in formal methods."