[tz] Proposed patch - Theory notes for backward file