priority = 0 in DomainFaithfulness