A mathematical equation that describes how arrival time changes across space, used here to guide navigation.