Mathematical Reliability: An Expository Perspective