ModusPonensFailure
==================

.. currentmodule:: proveit

.. autoexception:: ModusPonensFailure