Re: [tz] Proposed patch - Theory notes for backward file