Mess that will hopefully be a Concur'14 recursion paper.