ludo runs out of the house distraught therefore if zorn's lemma is assumed every infinite connected graph has a spanning tree on her face there was now an aspect of eager appeal