backward integration