In this beautiful paper contradiction is defined in an appropriate formal context and then proved to be a necessary companion of intelligence. In this slideshow a summary of the paper and hopefully some intuitions about its relevance in modern deep learning.