Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!bcyclone05.am1.xlned.com!bcyclone05.am1.xlned.com!newsfeed.xs4all.nl!newsfeed3a.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
Return-Path: <lac@openend.se>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.006
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; 'received:openend.se': 0.09; 'received:theraft.openend.se': 0.09; 'cc:addr:python-list': 0.10; 'cc:addr:lac': 0.16; 'cc:addr:openend.se': 0.16; 'from:addr:lac': 0.16; 'from:addr:openend.se': 0.16; 'from:name:laura creighton': 0.16; 'message-id:@fido.openend.se': 0.16; 'received:89.233': 0.16; 'received:89.233.217': 0.16; 'received:89.233.217.133': 0.16; 'received:fido': 0.16; 'received:fido.openend.se': 0.16; 'laura': 0.18; 'cc:addr:python.org': 0.21; 'cc:2**1': 0.22; 'programming': 0.23; "haven't": 0.24; 'header:In-Reply-To:1': 0.24; 'received:se': 0.29; 'cc:no real name:2**1': 0.29; 'url:wiki': 0.30; 'there,': 0.35; 'but': 0.36; 'subject:: ': 0.37; 'charset:us-ascii': 0.37; 'header:Message-Id:1': 0.62; 'url:cgi': 0.66; 'paper': 0.78; 'received:89': 0.80; 'decades,': 0.84
To: Rustom Mody <rustompmody@gmail.com>
cc: python-list@python.org, lac@openend.se
From: Laura Creighton <lac@openend.se>
Subject: Re: for...else
In-Reply-To: Message from Rustom Mody <rustompmody@gmail.com> of "Wed, 03 Jun 2015 07:40:48 -0700." <653fe238-5a27-4b42-9a67-3e4ace22bbd0@googlegroups.com>
References: <mailman.52.1433244404.13271.python-list@python.org><653fe238-5a27-4b42-9a67-3e4ace22bbd0@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <4376.1433350662.1@fido>
Date: Wed, 03 Jun 2015 18:57:42 +0200
X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.3.9 (theraft.openend.se [89.233.217.130]); Wed, 03 Jun 2015 18:57:44 +0200 (CEST)
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.20+
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.116.1433350672.13271.python-list@python.org>
Lines: 7
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1433350672 news.xs4all.nl 2916 [2001:888:2000:d::a6]:57800
X-Complaints-To: abuse@xs4all.nl
X-Received-Bytes: 3024
X-Received-Body-CRC: 4252906417
Xref: csiph.com comp.lang.python:91977

Are you looking for Knuth's paper Structured Programming with Goto Statements?
http://c2.com/cgi/wiki?StructuredProgrammingWithGoToStatements

I don't remember a theorem in there, but I haven't read it for decades,
so ...

Laura