ϼ Rerank r←xϼy

x must be a natural. r is the result of changing the rank of y to be x: