--- /dev/null
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<link rev="made" href="mailto:esr@snark.thyrsus.com" />
+<meta name="description" content="" />
+<meta name="keywords" content="" />
+<meta name="MSSmartTagsPreventParsing" content="TRUE" />
+<title>Ted Nelson comments....</title>
+<style type="text/css">
+/*<![CDATA[*/
+ div.c1 {text-align: center}
+/*]]>*/
+</style>
+</head>
+<body>
+<table width="100%" cellpadding="0" summary="Canned page header">
+<tr>
+<td width="30%">Back to <a href="/~esr">Eric's Home Page</a></td>
+<td width="30%" align="center">Up to <a
+href="/~esr/sitemap.html">Site Map</a></td>
+<td width="30%" align="right">$Date: 2002-07-30 23:35:36 $</td>
+</tr>
+</table>
+<hr />
+<h1 class="c1">Ted Nelson Comments...</h1>
+
+<pre>
+From ted@xanadu.net Wed Dec 2 11:50:17 1998
+Return-Path: <ted@xanadu.net>
+Received: from localhost (esr@localhost [127.0.0.1])
+ by snark.thyrsus.com (8.8.7/8.8.7) with ESMTP id LAA27208
+ for <esr@localhost>; Wed, 2 Dec 1998 11:50:15 -0500
+Received: from imap.ccil.org
+ by localhost with IMAP (fetchmail-4.6.9)
+ for esr@localhost (multi-drop); Wed, 02 Dec 1998 16:50:15 +0000 (UTC)
+Received: from mail.sfc.keio.ac.jp (mail.sfc.keio.ac.jp [133.27.4.120])
+ by locke.ccil.org (8.8.5/8.8.5) with ESMTP id MAA28871
+ for <esr@thyrsus.com>; Wed, 2 Dec 1998 12:13:54 -0500 (EST)
+Received: from servix.sfc.keio.ac.jp (servix [133.27.104.66])
+ by mail.sfc.keio.ac.jp (8.9.1a/3.6Wbeta7-SFC) with SMTP id BAA15833;
+ Thu, 3 Dec 1998 01:43:37 +0900 (JST)
+Message-Id: <3.0.3.32.19981203012655.01d68d20@mail.sfc.keio.ac.jp>
+X-Sender: ted@mail.sfc.keio.ac.jp
+X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.3 (32)
+Date: Thu, 03 Dec 1998 01:26:55 +0900
+To: "Eric S. Raymond" <esr@thyrsus.com>
+From: Ted Nelson <ted@xanadu.net>
+Subject: COME FROM statement considered asymmetrical (CFasym.d6
+Cc: ted@sfc.keio.ac.jp, marlene@xanadu.net, erik@xanadu.net, xanni@xanadu.net,
+ eharter@din.or.jp, markm@ricochet.net,
+ drexler@imm.org (K. Eric Drexler), john@iecc.com, margy@iecc.com,
+ jordan@iecc.com, Nat Kuhn <nat@iecc.com>,
+ Carol Baroudi <carol@iecc.com>, sw@tiac.net,
+ Charles Harris <xchar@worldnet.att.net>, fen@comedia.com,
+ "John Pettitt" <jpp@beyond.com>, scriven@aol.com, colias@ascii.co.jp,
+ DickHeiser@aol.com, braun@sfo.com, penrose@sfc.keio.ac.jp,
+ jpost@earthlink.net (Jonathan Vos Post), farber@cis.upenn.edu
+Mime-Version: 1.0
+Content-Type: text/plain; charset="us-ascii"
+Status: RO
+Content-Length: 2980
+Lines: 64
+
+Hi Eric--
+
+I consider it marvelous that you have enhanced the world's
+ most obscure computer language, Intercal, by adding
+ Peter Ingerman's COME FROM statement.
+
+However, I should point out that COME FROM is not
+ a precise inverse of the GO TO statement. True,
+ they are similar when each is one-to-one,
+ i.e. when each GOTO target/sink is pointed to by
+ only one GO TO, and each COME FROM receiver
+ is the unique recipient of its antecedent donor routine.
+
+But the many-to-one case is asymmetrical: a number of
+ different GOTOs can have the same target, but a
+ COME FROM statement can only have a unique source.
+ And conversely: in the case of the GO TO, it is the antecedent
+ routine which can have only one target but can share it
+ with others; while in the case of the COME FROM,
+ it is the successor routines which can only share a single source.
+
+This *could* be considered to be a deeper symmetry:
+ the possible many-to-one relation of the GO TO could be seen
+ as remapping into the possible one-to-many use of the COME FROM.
+
+But the asymmetry is stronger than that, being temporal
+ (and in some sense causative-- but this discussion must
+ skirt theology, and we know that A Programmer exists)--:
+ GO TO may only be temporally one-to-one or many-to-one,
+ while COME FROM may only be temporally one-to-one
+ or one-to-many. If we took sexual behavior as an analogy,
+ the possible many-to-one relation of the GO TO is like being
+ gang-banged, with a relatively small variety of possible outcomes
+ (progeny), while the COME FROM is more like a bee going
+ from... oh, never mind.
+
+I hope this brings some measure of analytic rigor to a hitherto,
+ and justifiably, unknown problem area, where such rigor may
+ hitherto have been, and still may perhaps be, unwelcome.
+
+Best regards, Ted
+Gee, maybe I should submit this to Communications of the ACM...
+
+
+____________________________________________________
+Theodor Holm Nelson, Visiting Professor of Environmental Information
+ Keio University, Shonan Fujisawa Campus, Fujisawa, Japan
+ Home Fax from USA: 011-81-466-46-7368 (If in Japan, 0466-46-7368)
+http://www.sfc.keio.ac.jp/~ted/ (Professorial page)
+_____________________________________________________
+Permanent: Project Xanadu, 3020 Bridgeway #295, Sausalito CA 94965
+ Tel. 415/ 331-4422, fax 415/332-0136
+http://www.xanadu.net (see also Professorial page, above)
+PERMANENT E-MAIL: ted@xanadu.net
+_____________________________________________________
+Quotation of the day, 98.12.02:
+Mike McNally, president of the Air Traffic Controllers Union, yesterday
+assured the press that air traffic controllers can take over from computers
+in case Y2K bugs hit the system.
+ "I'm not trying to indicate that when our computers shut down that
+everything is hunky-dory. There is a major transition period where the
+heart is beating and things are happening fast, and people are yelling and
+screaming to try to get a handle on it," he said. (cnn.com, dateline
+98.12.01)
+
+</pre>
+
+
+<hr />
+<table width="100%" cellpadding="0" summary="Canned page footer">
+<tr>
+<td width="30%">Back to <a href="/~esr">Eric's Home Page</a></td>
+<td width="30%" align="center">Up to <a
+href="/~esr/sitemap.html">Site Map</a></td>
+<td width="30%" align="right">$Date: 2002-07-30 23:35:36 $</td>
+</tr>
+</table>
+
+<br clear="left" />
+<address>Eric S. Raymond <a
+href="mailto:esr@thyrsus.com"><esr@thyrsus.com></a></address>
+</body>
+</html>
+