[typs]

I mean the details are in the post. You can see the conversation history and the mathematician survey on the problem