Re: [tz] [bug] phrasing in Theory