I'm personally very unfamiliar with this code, but looking at it, could you explain why there's two calls to `end` here? it looks like one of them is the complement of the above `head` call, and I was just wondering what the "outer cbox" was.