Rigour, Proof And Soundness