. . "Hopf formula" . "Hopf formula" .