Describe VerifiersForTheReview here.
These folks compare the specification with the description.
They transform these tables. They can take shortcuts, because their job is to move toward implementation.
Go up to ParnasSoftwareReviewPatterns