Neither available answer is plausible: either v′(Q) implies a distinct v′(f(Q)) ≠ v(f(Q)), or v′(Q) ...