Text this: On being a PhD student of Robert Harper.