venkatesan-varadhan documents