Which part of (y)our correctness seeks this (results/change)? And which part then decides to do so?