@node Verifications

@chapter Verifications

@cindex Verifications

@include Chapter-2/chapter-intro.texi

@include Chapter-2/chapter-menu.texi

@include Chapter-2/chapter-nodes.texi