more thrashing around trying to get Tarjan and Mihaescu