Title: Conjecture and proof
Subjects: Prediction (Logic), Proof theory, Mathematics