2013-06-07 10:33:21+00:00 In reply to @monsoon0 @monsoon0 yes, very funny. Of course, 13×7 = 13: arxiv.org/abs/1107.1130