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