The figure shows the Asserting Values files filled in as described in the surrounding text.