# HG changeset patch
# User HackBot
# Date 1363516970 0
# Node ID cc6d9289d2c1186e8c5c95ae5ee9f509883c8f16
# Parent  719e5a6ec50916e9337fb41d6f4b1fc7077a4a1f
<monqy> addquote <zzo38> Two eggs costs less than one egg, but if you buy two eggs, you must eat both. Does linear logic do this?

diff -r 719e5a6ec509 -r cc6d9289d2c1 quotes
--- a/quotes	Sun Mar 17 10:11:28 2013 +0000
+++ b/quotes	Sun Mar 17 10:42:50 2013 +0000
@@ -981,3 +981,4 @@
 <boily> it's raining in newcastle, therefore the elliotts are distinct.  <tswett> boily's Newcastle Theorem.
 <ais523> there's more evidence that scammers exist, than that, say, the average Nigerian exists
 <ais523> is it March 3?  <olsner> on some dates, yes
+<zzo38> Two eggs costs less than one egg, but if you buy two eggs, you must eat both. Does linear logic do this?