A Formal Introduction...