I thought the relevancy of variable order inside prenexes was
restricted to sentences with prenexes and statements including da. Now,
four years on, I learn that there are secret das inside every lo and le,
such that sumti order totally affects the claim, and that tense sumtcita
location matters. I could be mistaken, but I don't recall seeing any of
this in the chapter on LE, on FA or SE, or on tense sumtcita. If it's
there and I missed it, then it's my bad. But either way it's four years of
intuition down the drain.