NavList thread: "Algebraisation" of the All-Haversine SR?