All correct reasoning is a grand system of tautologies, but only God can make direct use of that fact.