NavList thread: Deriving the Bygrave equations