Re: [NTG-context] A few questions about aligned maths