We prove Wise’s W-cycles conjecture: Consider a compact graph Γ′ immersing into another graph Γ. For any immersed cycle Λ : S¹ → Γ, we consider the map Λ′ from the circular components S of the pullback to Γ′. Unless Λ′ is ...