Text this: Πιθανοτικά ελέγξιμες αποδείξεις