Re: Formal Introduction