Finished writing the alternate proof of Tavenas' depth reduction
Merge branch 'content_Tavenas'

But there is probably a little more to be written there. I'll come back to this branch later.