Hamilton-Jacobi equations with constraints.