======================================================================
=                         Tautology (logic)                          =
======================================================================

                             Introduction
======================================================================