R. Ryan Williams: Some ways of thinking algorithmically about impossibility. ACM SIGLOG News 4(3): 28-40 (2017)