sig
  exception Unsolvable
  exception Inconsistent of Explanation.t
  exception Progress
  exception NotCongruent
  exception Trivial
  exception Interpreted_Symbol
end