From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,915d37e7b8e0ec69 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news4.google.com!news.glorb.com!newspeer2.se.telia.net!se.telia.net!masternews.telia.net.!newsc.telia.net.POSTED!not-for-mail From: =?ISO-8859-1?Q?Bj=F6rn_Persson?= User-Agent: Mozilla Thunderbird 1.0.7-1.1.fc4 (X11/20050929) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: OT: was Re: and visual library once again References: In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Message-ID: Date: Sun, 30 Oct 2005 00:20:57 GMT NNTP-Posting-Host: 217.209.116.179 X-Complaints-To: abuse@telia.com X-Trace: newsc.telia.net 1130631657 217.209.116.179 (Sun, 30 Oct 2005 02:20:57 CEST) NNTP-Posting-Date: Sun, 30 Oct 2005 02:20:57 CEST Organization: Telia Internet Xref: g2news1.google.com comp.lang.ada:6049 Date: 2005-10-30T00:20:57+00:00 List-Id: tmoran@acm.org wrote: > not(Public Goods) implies not(GPL) (a) > is logically equivalent to > (GPL) implies (Public Goods) (b) > so if (a) is true, ie there are no counterexamples, then (b) is true Precisely, and you say you can't think of any counterexamples. Why, then, did you claim that when you wrote "public goods" in your response to Steve's words about GPL'd programs, you did not use the term about GPL'd programs? What other, public goods but non-GPL'd, programs did you talk about? -- Bj�rn Persson PGP key A88682FD omb jor ers @sv ge. r o.b n.p son eri nu