What will we cover - NP complete and Ed and Rich's discussion, or go more fundamental. Ben wants more in-depth computability theory, Yael wants to examine basic/fundamental questions about computation.