The hard problem has been solved by brilliant mathematicians a decade or so ago.
j previous speech k next speech