To what rule is ``sp.underlying`` mapped to?