Contradiction ============= .. doxygenclass:: Contradiction :members: