REFINED

add R

INFERRED