check DomainFaithfulness