match in SMath