Incidentally I'm reading Sipser's book for a philosophy course right now.