Stanley Tanswell, Fenner. <i>Mathematical Rigour and Informal Proof</i>. Cambridge University Press, 2024.