If syllogism merely unpacked pre-contained content, no mathematical proof would ever surprise or ext...