bug in explaning domainfaithfulness