Re: [NTG-context] "Smart" \in