Abstract. If G and H are graphs, we write G → H (respectively, G → TH) if for any proper edge-colouring γ of G there is a subgraph H ′ ⊂ G of G isomorphic to H (respectively, isomorphic to a subdivision of H) such that γ is injective on E(H ′ ). Let us write C ℓ for the cycle of length ℓ. Spencer (cf. Erdős [10]) asked whether for any g ≥ 3 there is a graph G = G g such that (i) G has girth g(G) at least g, and (ii) G → T C 3 . Recently, Rödl and Tuza [22] answered this question in the affirmative by proving, using non-constructive methods, a result that implies that for any t ≥ 1 there is a graph G = G t of girth t + 2 such that G → C 2t+2 . In particular, condition (ii) may be strengthened to (iii) G → C ℓ for some ℓ = ℓ(G). For G = G t above ℓ = ℓ(G) = 2t + 2 = 2g(G) − 2. Here, we show that suitable Ramanujan graphs constructed by Lubotzky, Phillips, and Sarnak [18] are explicit examples of graphs G = G g satisfying (i) and (iii) above. For such graphs ℓ = ℓ(G) in (iii) may be taken to be roughly equal to (3/2)g(G), thus considerably improving the value 2g(G) − 2 given in the result of Rödl and Tuza. It is not known whether there are graphs G of arbitrarily large girth for which (iii) holds with ℓ = ℓ(G) = g(G).