A Formal Introduction