check in domainfaithfulness seems ok