Comment by kakugawa

They can only do it in the (narrow) domains that are verifiable.