Hamiltonian constraint