  Using the Mathai-Quillen formalism we reexamine the twisted N=4
supersymmetric model of Vafa-Witten theory. Smooth out the relation between the
supersymmetric action and the path integral representation of the Thom class.
