add missing "Proof."