logic of spanning trees 3763885