Yeah, well, paper sucks. http://worrydream.com/#!/ScientificCommunicationAsSequentialArt http://worrydream.com/#!/ScientificCommunicationAsSequential... No ma

Yeah, well, paper sucks. http://worrydream.com/#!/ScientificCommunicationAsSequentialArt http://worrydream.com/#!/ScientificCommunicationAsSequential... No mathematician today doesn't have access to a computer. Just fold the proof to some appropriate coarse level by default, and let the reader expand any part they want to read. It's not like our computers had any meaningful limit on how big a mathematical proof could be.