The stewards say Williams had "ample warning" that Hamilton was set to start a push lap, and then did so, and should have told Sainz. Three grid positions penalty is standard. This means Carlos will start from P15.