My Formal Introduction