Refactoring Stratified Backward.