neq condition for `withIndex` - Convex Community