Backward-Stable Integration Logic