Pošljite SMS: Textbook analyses on reasoning-and-proving: Significance and methodological challenges