3 was that computer proofs may tend to be less explanatory than traditional proofs because they are more disjunctive, and disjunctiveness reduces explanatoriness.

They'd brought out more sleds, and there was a nice mix of old-fashioned wooden toboggans and plastic discs, plus steerable sleds and crazy carpets. Beth and Rothko piled onto a crazy carpet and barely made it twenty feet before wiping out.

There were seven dudes here for a week just showing me how to use it and I just wanted them to leave so I could start tutuing with it.

[T]he Maltese terrier was already snoring plethorically on his mistress's lap, in a manner quite disproportioned to his size, …