(j3.2006) referencing co-array variable that is an ultimate argument
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).
More information about the J3