started writing up on the Hamilton-Jacobi theory