proof changes