(j3.2006) referencing co-array variable that is an ultimate argument

Michael Ingrassia michaeli
Wed May 23 13:16:54 EDT 2007

>"While" only makes sense when talking about one image

This seems like an important meta-principle that might be worth 
mentioning in a Note.  Given that segments can be ordered, one could
imagine other (complicated) definitions of "while", e.g.

Event A happens while Logical Variable L is true if  (some complicated
expression about segments involving ordering of segments and describing which
segments possibly modify L).

	--Michael I.

More information about the J3 mailing list