Re: [NTG-context] Align a compound inequality