Revert "Slow progress"

This reverts commit f5e69d5e9c2a9c89914f28f3d138161226fdaace.