[1003.0655] What would be outcome of a Big Crunch? User grapecigar, in the a reddit to discuss things of interest subreddit, 05 Aug 2010