a²+b²=c² has hundreds of proofs · each one a different truth about area · drag the angle · runs locally