Testing requirements, some of these are pretty specific such as 'don't do X before you compute Y'... OK, check that off

Now we have some independent analyst saying how can you prove 'X' isn't done... "Look at the source code we've provided"

"OK, but where in the source should I look [for something which isn't there]?"