WPC is now printed before proving.