https://citris-uc.org/event/beyond-computation-the-p-versus-np-question-may-9/