Home Online Mathematical Communication Thoughts Mathematics of the impossible, Chapter 8, Three impossibility results for 3Sat