woefully underprepared

The whole army is called 700,000 men

instrumental music

The deduction theorem reveals the relationship between logical entailment and material implication: it allows to one to pack or record an inference into a tautology, and conversely, to unpack or play back a tautology as an inference process.