Helena Ashurst Rough Proofs