Intra in supermath.mo