--------------
Inference fuse
--------------

Detecting inconsistencies.
