Progress proving Core.