# Re: simultaneous conditions in junctions

On Wed, Apr 1, 2009 at 12:58 AM, Richard Hainsworth
<rich...@rusrating.ru> wrote:
> Thinking about Jon Lang's -1|+1 example in another way, I wondered about
> simultaneous conditions.
>
> Consider
>
> \$x = any (1,2,5,6)
>
> How do we compose a conditional that asks if any of this set of eigenstates
> are simultaneously both > 2 and < 5?
> Clearly the desired answer for \$x is False, but
>
> my \$x = any(1,2,5,6); say ?( 2 < \$x < 5); # true
>
> Is there some combination of any/all that will achieve this?

As Carl indicated, there are other ways to do this.  For instance, s/
2 < \$x < 5 / \$x ~~ 2 ^..^ 5 /.  But as I indicated in a recent email,
part of my concern is that those two expressions _ought to be_
equivalent: changing the junction, or making do without one as Carl
proposes, doesn't fix this lack of equivalence.

As for Carl's proposed alternative: no, it isn't _much_ longer (but it
_is_ longer), and _perhaps_ it's _slightly_ more understandable - or
perhaps not.  Other than making the implementors' lives harder, what's
wrong with trying to find a way to get Jonathan's example to work the
way people expect it to?

I don't understand this aversion to everything remotely hinting of