It needs to be spine strict for that to work, but the amortization for finger trees doesn't work without laziness