sorting ub in DomainFaithfulness