20.3.3 Hall voltage