=> R
<= R | full