Explicit expansion is correct. Verifying Hv