added some math to README, added Hamiltonian constraint.