If is the adjacency matrix of a directed covering graph, then counts its pointed closed walks of length . For a prime number , subtracting the constant walks and identifying the cyclic choices of starting point givesprimitive closed itineraries of length .
Codex Wiki