Can You Prove It?