The Davidson branch of my tree reached a stalemate for a long time in the