introduce  capacity in DomainFaithfulness