/ route

A route :== some deterministic walk into any number of coverage(s).
/// This is not a contradiction. It is deterministic in the sense that all variables are (pre)set, and have no bearing on future states.