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