@node Verifications
@chapter Verifications
@cindex Verifications
@include Chapter-2/chapter-intro.texi
@include Chapter-2/chapter-menu.texi
@include Chapter-2/chapter-nodes.texi