Const Math Existence C by Charles S. Chihara