Merge proposals

Belief Revision has no merge proposals.