Poisson-commuting separated energies

Hamiltonians that split into terms $F_i(p_i,q_i)$ have $\{F_i,F_j\}=0$ for $i\ne j$, and their differentials are generically independent because they use disjoint coordinate pairs.