“Now that most mental effort tied to writing is optional, we need new ways to require the work necessary for learning.”