core invariants
==============================

.. include:: ../../../modules/invariants/core_invariants.rst