coloring predicates
==============================

.. include:: ../../../modules/invariants/coloring_predicates.rst