X-Received: by 2002:a37:b6c5:: with SMTP id g188mr22706886qkf.92.1624857293275;
Sun, 27 Jun 2021 22:14:53 -0700 (PDT)
X-Received: by 2002:a25:2506:: with SMTP id l6mr27228705ybl.418.1624857293128;
Sun, 27 Jun 2021 22:14:53 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!newsreader4.netcologne.de!news.netcologne.de!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!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:14:52 -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: <fc678186-2117-4386-be21-69bde84a7042n@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:14:53 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1094