Tagged reverse-integration