[math-fun] "Hamiltonian", a derivative musical?