RNF+ (Explicit)

RNF+ (Explicit)