===========================
Witness complex user manual
===========================
Definition
----------

.. include:: witness_complex_sum.rst