Backward procedure