X-Received: by 2002:a0c:be85:: with SMTP id n5mr9061501qvi.59.1624857197078;
Sun, 27 Jun 2021 22:13:17 -0700 (PDT)
X-Received: by 2002:a25:bcb:: with SMTP id 194mr30081406ybl.32.1624857196900;
Sun, 27 Jun 2021 22:13:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Sun, 27 Jun 2021 22:13:16 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2600:2b00:770c:a400:c4b9:7da:ebf4:a71f;
posting-account=wr2KGQoAAADwR6kcaFpOhQvlGldc1Uke
NNTP-Posting-Host: 2600:2b00:770c:a400:c4b9:7da:ebf4:a71f
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <34adb240-00fa-4037-b7b8-60b8e47b1692n@googlegroups.com>
Subject: Re: What if a cat barks? [ sound deduction is a proof ](axiom)
From: pehoush...@gmail.com (Daniel Pehoushek)
Injection-Date: Mon, 28 Jun 2021 05:13:17 +0000
Content-Type: text/plain; charset="UTF-8"