Comment 8 for bug 1239462

thanks, here is another counter-example. After a Difference operation, the hole in the rectangle is too small. I'll continue to look at this bug, since I think we are almost there.