Proof in logic is only a mechanical expedient to facilitate the recognition of tautology, where it is complicated.