Title: Proving the Unseen