Concepts
========

.. toctree::
   :maxdepth: 1

   Introduction <essentials/introduction.md>
   Traces <essentials/traces.md>
   Synchronization <essentials/synchronization.md>
   Preprocesses <essentials/preprocesses.md>
   Container <essentials/container.md>
   Intermediate values <essentials/intermediate_values.md>
   Discriminant <essentials/discriminant.md>
   Distinguishers and analysis <essentials/distinguishers.md>