Re: opacity

["John E. Clifford" <pcliffje@crl.com>]

BTW, I am not sure that "See how they run" involves abstractions, though 
it might and it might also be a place for real lambdas in predicate 
position: "see le lambda F, the mice F run"  (i.e., in English despite 
the Lojban syntax, "the  F such that the mice run F-ly").  Or, of couse, 
it may just be a UI, "My, how they do run!"  Maybe we need a totally 
ambiguous item to cover the spread?


I don't have a logic.txt; where should I look?
pc>|83