The Two Design Laws That Compile to Arithmetic

Fitts's Law and Hick's Law encode into exact arithmetic an agent can compute from the DOM: one from geometry, one from a count of choices. A test of both.