Given two programs, say P and Q, a differentiator is test suite T such that execution of Q on produces different outcomes; this concept used in mutation testing, where it important to highlight semantic differences between non-equivalent mutants. specification R program P, detector disproves the correctness with respect R; clearly useful testing. In note I elaborate previous research refine cha...