It seems you're not convinced ... 
I should have documented a few things about how the dfs are constructed here.