Godel's Theorem in Focus by Stuart Shanker