(D1,ii) Verification Exercise