Wait for Proof

Wait for Proof