Prove Them All