發送短信: Textbook analyses on reasoning-and-proving: Significance and methodological challenges