Hopf_algebra loading ...