/math/hs-distributive/