Proving properties of software. Its kind of neat, except I don’t feel very rigorous.