From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Michael Heerdegen Newsgroups: gmane.emacs.help Subject: Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration? Date: Mon, 23 Jan 2023 17:44:06 +0100 Message-ID: <87pmb5kxpl.fsf@web.de> References: <87y1q0h0pp.fsf@dataswamp.org> <87cz7azqs7.fsf@dataswamp.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="19429"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: help-gnu-emacs@gnu.org To: Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Mon Jan 23 17:44:50 2023 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pJzw7-0004n7-0f for geh-help-gnu-emacs@m.gmane-mx.org; Mon, 23 Jan 2023 17:44:47 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pJzva-0001IK-0C; Mon, 23 Jan 2023 11:44:14 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pJzvX-0001I5-PF for help-gnu-emacs@gnu.org; Mon, 23 Jan 2023 11:44:11 -0500 Original-Received: from mout.web.de ([212.227.15.14]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pJzvV-0006s3-Hv for help-gnu-emacs@gnu.org; Mon, 23 Jan 2023 11:44:11 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=s29768273; t=1674492247; bh=EIweHumPZjPUH8XQcIuu8WcqTu3tma7vvcfXUJKcp9I=; h=X-UI-Sender-Class:From:To:Cc:Subject:In-Reply-To:References:Date; b=Os6JpyzsnUuLJ2DoUGtFu3OfChg1DBLkhwfKlMbC1A0f1kYNuBnBXVIXil+7q8Zsd XhA1dMTCJaaxkY9/8DHGGepzoMVwS3xuQuSQYg04XeroVwl0iQa47po7fBsEgBXXfc SNZPqkbtqOlyEcCgRRdkRu2RL9J4ae94eVVyRqmnM/8y7deUMRBVcvlxfYNaP7V/C2 nGVpiqMq2EsTdmSpG5N1HwmK9882L529uLhV+RJKhSQmJLM+ffnF1Wvj1JqO+TinK3 0Kf5I3MPkyxkf3sbGavT9Ni7tItcQKnfyPmVXdwE0rx94V1R/xA3+u5Ft5RfNYTI9C hv3uoBVHhC/Xw== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from drachen.dragon ([84.59.210.57]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1MPaII-1p6Imz04DS-00MvNy; Mon, 23 Jan 2023 17:44:07 +0100 In-Reply-To: (tomas@tuxteam.de's message of "Sat, 21 Jan 2023 15:05:09 +0100") X-Provags-ID: V03:K1:Cm2Y6ekJbAnOiRhtFjpKha7/Fa+CWsEurS/yquWJUENaFQX3hbA 08Nu4W6MDFMM8qxrLR9HG1Dngu/X+Z7VULY49htT4Z/E2eOIX73BVtvrucnMjMHH+N54UPV nFi8w3s+lNDSCmWZumk4rgZGEvG02B2UyCTZV75632fjMhNGbzg7gvxc97JLNNsi3NHNjse HFluzxfqCBgG6cykE5zrA== UI-OutboundReport: notjunk:1;M01:P0:Ytm2fqwwVNk=;o46N7js0lilGVVF+wwVFUvJlbNn E6krqwRDTBbsnWARAZbpp4AJ4G4OY/HszrVpZEyIi3c/uD9LIDqzcBgm5/VFBn3AiIttzwxEW QrdGWOVF25Vp198igJvgDv0SmVq1x26RZEUNwTpRhJVEXMjBnNR1ofe277LQ9IrahAO3oydEn DwTfkWlcJW84aIiUxPY1fllAhNEA7HlZpiyzUNP0etdSphFcX/uMTgWjzf0cVP1cH2CW2Mepy 2jUVwb9WQ2tBFcebdqg9NLHnlCepVQ/KRh2d8MS8Zd9FZpnbBrJWdaQ8mSk12e+6nJiNh8Zlp mo7ZO6Idkwddm1UYKyAjjWVDywZgb/mOijuSOLDwEYS75+S9Ttckwb1AQsQmRxAr9PNc2ogn6 Hslr50HKViv3Ttqmrw6wzvpseknjW8DBQHd36cFF4pZ/NcQNTsIeu6v+ASRXSuWzPWgq8EhyD KkekUNJMjKJYvmpnNKJf4IgRfdODtu9ib5G7S+0lZeAqW3nqnQzXtBajZ+l64yqEMpCKF07hk HH7wHQc6bdxvIu7sXToFlOIv87eugwkAKOkvkYDT4564ah1R78YAyBbhBfkFVUBt8COfq9Eal wjHCqId2kTUvTSYO76/ENC9sCo9HI9O9iuyIpMHSB49MrQfYecSXtOcM6lKixga+44w+2LLo0 IhTOWaAfzwDRqU779ez9Kuaw/Yyrx55Rga2kQ3E8LBDOuRJ/88uTFtaOpSIj5UFdbA4Q6djGx CXYPSgDZU17K+NyyRN1r+cTYQo69V7pA4bR/qRn+pSnzQP4Iuv+FUSmBrkID/OqdW5iORj8P Received-SPF: pass client-ip=212.227.15.14; envelope-from=michael_heerdegen@web.de; helo=mout.web.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.help:142519 Archived-At: writes: > Extend your sources. They aren't wrong, but they aren't right either. BTW, treating 0 as a natural number or not reflects the difference in these two things: you start counting objects with 1 (the first, the second, ...). OTOH counts of finite sets include 0 as the count of the empty set - there can be 0 objects of a certain property. For both things you use the same set of numbers apart from 0. It's of no value to argue which procedure should be the defining one for the natural numbers. Michael.