prefer[P] := input
if RMW(r,f) = v
  then return prefer[P]
  else return prefer[Q]
end if