With no explanation, label text_A→text_B with either "not-entailed" or "entailed".
text_A: There should be a Pixel Mapping function in the menu that will get rid of them , most sensors have a few dead and flipped pixels , some only show up on long exposures .
text_B: The showing did not happen
not-entailed.