Mathematical Reasoning C