backward integrations