I'm pretty new to doing proofs, and I constantly think in words while doing them. Are you saying that there may be a point when I won't think like that? That would be amazing.