progress on an idempotent