explain DomainFaithfulness