From @YaleVM.YCC.YALE.EDU:LOJBAN@CUVMB.BITNET  Thu Dec 17 19:36:10 1992
Received: from YALEVM.YCC.YALE.EDU by MINERVA.CIS.YALE.EDU via SMTP; Thu, 17 Dec 1992 14:38:00 -0500
Received: from CUVMB.CC.COLUMBIA.EDU by YaleVM.YCC.Yale.Edu (IBM VM SMTP V2R2)    with BSMTP id 1793; Thu, 17 Dec 92 14:37:09 EST
Received: from CUVMB.BITNET by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP  id 9443; Thu, 17 Dec 92 14:36:18 EST
Date:         Thu, 17 Dec 1992 19:36:10 +0000
Reply-To: And Rosta -850 <ucleaar@UCL.AC.UK>
Sender: Lojban list <LOJBAN%CUVMB.bitnet@YaleVM.YCC.YALE.EDU>
From: And Rosta -850 <ucleaar@UCL.AC.UK>
Subject:      TECH (naive)
X-To:         lojban@cuvma.BITNET
To: Erik Rauch <erikr@MINERVA.CIS.YALE.EDU>
Status: O
X-Status: 
Message-ID: <nS4S4XH8RiI.A.SVC.370kLB@chain.digitalkingdom.org>

If
  se  gives  x2 x1 x3
  te  gives  x3 x2 x1
then is it the case that
  se te  gives  x2 x3 x1
  te se  gives  x3 x1 x2
and
  te se te  and  se te se  both give  x1 x3 x2
?

----
And.