Text this: Reading, writing, and proving : a closer look at mathematica