I'd say so, all you want is the current Pid, is there a case where two ownership transfers happened so fast not relaxing this would lead to a badmatch for this case statement?