2 ms·Ok. But if you just introduce an symbol with type NatInd, everything works fine?by llcv 12y agoOk. But if you just introduce an symbol with type NatInd, everything works fine?