New: predictionsprovegodexists