Instrumental genesis and proof: understanding the roles of computer algebra systems in textbook proofs: Understanding the roles of computer algebra systems in textbook proofs