(lin-return) Rk is true