:$ f > a x @1 y @2 ~ f == 2 ~ choose(1) Yes.