It is, therefore, possible to extend a partially specified interpretation to a complete interpretation, without loss of verifiability, [. . . ] This fact offers the possibility of automatic verification of programs, the programmer merely tagging entrances and one edge in each innermost loop.
Governments are not built to perceive large truths. Only people can perceive great truths. Governments specialize in small and intermediate truths. They have to be instructed by their people in great truths.