.. include:: logic/LogicUsage.rst
.. include:: logic/References.rst