Seol mar théacs é seo: Textbook analyses on reasoning-and-proving: Significance and methodological challenges