[ Proof update ]