Re: [tz] Stability versus correctness