4 ms·Can you explain further?by llcv 12y agoCan you explain further?solomatov 12y agoSee my comment above.llcv 12y agoOk. But if you just introduce an symbol with type NatInd, everything works fine?