Enviar aquest missatge de text: Why are proof complexity lower bounds hard?