progress, all proof types are close