Title: Becoming a Proof Producer