
to ta x y z =
  if and (and x y) z
    11
  else
    22
