This was a working proof back in 2009.