The Science of Proof - Cage (Cambridge University Press, 2022)