You could be rightas Emmi’s countable Erdös-Menger conjecture is that her infinite cycle space consists of precisely the sets of edges that meet every finite cut evenly, and that the spanning trees those fundamental cycles generate her cycle space are precisely these end-faithful spanning trees.
Emmi also generalized Euler's theorem by accident but she will not reveal that conjecture.![]()