Thinking Algorithmically About Impossibility (Invited Talk)