“…Recall that if Γ = (V, E) and ∆ = (W, F ) are graphs, a graph covering ϕ : Γ ∆ is a map V → W such that, for every v ∈ V , the restriction of ϕ to the set {v ∈ V | (v, v ) ∈ E} of neighbours of v is a bijection onto the set of neighbours of ϕ(v). We warn the reader that this definition is well adapted to our setting of simple graphs, but it has to be adapted if one wants to include also non simple graphs, see for example [16] for details. One way to construct covers of a Cayley graph Γ = Cay(G, S) is by taking the quotient by a subgroup H ≤ G (hence obtaining the so-called (right) Schreier coset graphs, which is a simple graph only under some conditions on H), but in general Γ may cover other graphs.…”