"Hopt" . "K" . "K Hopt" . . . .