Comment by deng

Still, this is a pretty crazy definition of "anyone".