BACK-THEN (Explicit)

RS P1 (Explicit)