pushed TFingerTree a bit more