Backward substitution operates in push mode