let b := (1 - 1) >= 0 in
let v := 
  if b 
  then if b then 1 else 2
  else if b then 3 else 4
in 
let w := if b then 5 else 6 in
< v , w >