Talk:Monsky–Washnitzer cohomology