Well File:

Belief Revision