Martin Davis | Slate