Valid Inference In Math