All correct reasoning is a grand system of tautologies, but...

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