Hot: reasoningmathematics