some reduction so that we can make progress.