Cool. Maybe you can give me a link where he talks about the solution, with proofs. Or where maybe you talk about the same, or where even I talk about it? Obviously I know the latter, but do you, or Martin?