Would verification system as infra for AI be the next thing?