endgame via Cauchy theorem implemented; needs an implementation in the kernel eventually.