Rework definition of connectedness, prove another definition of trees exists
Rename unigraph to graph.