Er, I can't. But this attack is existence theoretically indeed. And IMO a monotonic increasing value is very helpful for this loop. Li Zefan wrote: