On the other hand, if humans could apparently do that work without automated verification, then perhaps so can agents.