Text this: Syllogistic logic and mathematical proof /