/math/hs-nats/