MT 831: Symplectic manifolds