R3 (Explicit)

R3 (Intro) (Explicit)