Lemma1 assumed, altered definition of Tree such that Tips now represent trees that our algorithm 'started with' and Bins are always results of joins