Given the document below, you have to determine if "Yes" or "No", the summary is factually consistent with the document.

Document:
We present the first verification that a neural network for perception tasks produces a correct output within a specified tolerance for every input of interest. We define correctness relative to a specification which identifies 1) a state space consisting of all relevant states of the world and 2) an observation process that produces neural network inputs from the states of the world. Tiling the state and input spaces with a finite number of tiles, obtaining ground truth bounds from the state tiles and network output bounds from the input tiles, then comparing the ground truth and network output bounds delivers an upper bound on the network output error for any input of interest. Results from two case studies highlight the ability of our technique to deliver tight error bounds for all inputs of interest and show how the error bounds vary over the state and input spaces.

Summary:
1. We present the precursor verification that a neural network for perception tasks produces a correct output within a specified tolerance for every input of concern.

Is the summary factually consistent with the document? (Yes/No)
Start your answer explicitly with "Yes" or "No", and if you answer no, explain which sentence is inconsistent and why.
 Your answer should have exactly 3 paragraphs. Make sure that the first paragraph starts with the word "never" and that each paragraph is separated by two new lines.
user