Implication is thus the very texture of our web of belief, and logic is the theory that traces it.