develop the theory of full verification more precisely in response to comments